Optimal. Leaf size=85 \[ \frac {2 a b \sqrt {x}}{c}+\frac {2 b^2 \sqrt {x} \tanh ^{-1}\left (c \sqrt {x}\right )}{c}-\frac {\left (a+b \tanh ^{-1}\left (c \sqrt {x}\right )\right )^2}{c^2}+x \left (a+b \tanh ^{-1}\left (c \sqrt {x}\right )\right )^2+\frac {b^2 \log \left (1-c^2 x\right )}{c^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.10, antiderivative size = 85, normalized size of antiderivative = 1.00, number of steps
used = 7, number of rules used = 6, integrand size = 14, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.429, Rules used = {6027, 6037,
6127, 6021, 266, 6095} \begin {gather*} -\frac {\left (a+b \tanh ^{-1}\left (c \sqrt {x}\right )\right )^2}{c^2}+\frac {2 a b \sqrt {x}}{c}+x \left (a+b \tanh ^{-1}\left (c \sqrt {x}\right )\right )^2+\frac {b^2 \log \left (1-c^2 x\right )}{c^2}+\frac {2 b^2 \sqrt {x} \tanh ^{-1}\left (c \sqrt {x}\right )}{c} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 266
Rule 6021
Rule 6027
Rule 6037
Rule 6095
Rule 6127
Rubi steps
\begin {align*} \int \left (a+b \tanh ^{-1}\left (c \sqrt {x}\right )\right )^2 \, dx &=\int \left (a+b \tanh ^{-1}\left (c \sqrt {x}\right )\right )^2 \, dx\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.04, size = 115, normalized size = 1.35 \begin {gather*} \frac {2 a b c \sqrt {x}+a^2 c^2 x+2 b c \left (b+a c \sqrt {x}\right ) \sqrt {x} \tanh ^{-1}\left (c \sqrt {x}\right )+b^2 \left (-1+c^2 x\right ) \tanh ^{-1}\left (c \sqrt {x}\right )^2+b (a+b) \log \left (1-c \sqrt {x}\right )-a b \log \left (1+c \sqrt {x}\right )+b^2 \log \left (1+c \sqrt {x}\right )}{c^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(251\) vs.
\(2(75)=150\).
time = 0.17, size = 252, normalized size = 2.96
method | result | size |
derivativedivides | \(\frac {a^{2} x \,c^{2}+b^{2} c^{2} x \arctanh \left (c \sqrt {x}\right )^{2}+2 b^{2} \arctanh \left (c \sqrt {x}\right ) c \sqrt {x}+b^{2} \arctanh \left (c \sqrt {x}\right ) \ln \left (c \sqrt {x}-1\right )-b^{2} \arctanh \left (c \sqrt {x}\right ) \ln \left (1+c \sqrt {x}\right )+\frac {b^{2} \ln \left (c \sqrt {x}-1\right )^{2}}{4}-\frac {b^{2} \ln \left (c \sqrt {x}-1\right ) \ln \left (\frac {c \sqrt {x}}{2}+\frac {1}{2}\right )}{2}+b^{2} \ln \left (c \sqrt {x}-1\right )+b^{2} \ln \left (1+c \sqrt {x}\right )+\frac {b^{2} \ln \left (1+c \sqrt {x}\right )^{2}}{4}-\frac {b^{2} \ln \left (-\frac {c \sqrt {x}}{2}+\frac {1}{2}\right ) \ln \left (1+c \sqrt {x}\right )}{2}+\frac {b^{2} \ln \left (-\frac {c \sqrt {x}}{2}+\frac {1}{2}\right ) \ln \left (\frac {c \sqrt {x}}{2}+\frac {1}{2}\right )}{2}+2 a b \,c^{2} x \arctanh \left (c \sqrt {x}\right )+2 a b c \sqrt {x}+a b \ln \left (c \sqrt {x}-1\right )-a b \ln \left (1+c \sqrt {x}\right )}{c^{2}}\) | \(252\) |
default | \(\frac {a^{2} x \,c^{2}+b^{2} c^{2} x \arctanh \left (c \sqrt {x}\right )^{2}+2 b^{2} \arctanh \left (c \sqrt {x}\right ) c \sqrt {x}+b^{2} \arctanh \left (c \sqrt {x}\right ) \ln \left (c \sqrt {x}-1\right )-b^{2} \arctanh \left (c \sqrt {x}\right ) \ln \left (1+c \sqrt {x}\right )+\frac {b^{2} \ln \left (c \sqrt {x}-1\right )^{2}}{4}-\frac {b^{2} \ln \left (c \sqrt {x}-1\right ) \ln \left (\frac {c \sqrt {x}}{2}+\frac {1}{2}\right )}{2}+b^{2} \ln \left (c \sqrt {x}-1\right )+b^{2} \ln \left (1+c \sqrt {x}\right )+\frac {b^{2} \ln \left (1+c \sqrt {x}\right )^{2}}{4}-\frac {b^{2} \ln \left (-\frac {c \sqrt {x}}{2}+\frac {1}{2}\right ) \ln \left (1+c \sqrt {x}\right )}{2}+\frac {b^{2} \ln \left (-\frac {c \sqrt {x}}{2}+\frac {1}{2}\right ) \ln \left (\frac {c \sqrt {x}}{2}+\frac {1}{2}\right )}{2}+2 a b \,c^{2} x \arctanh \left (c \sqrt {x}\right )+2 a b c \sqrt {x}+a b \ln \left (c \sqrt {x}-1\right )-a b \ln \left (1+c \sqrt {x}\right )}{c^{2}}\) | \(252\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 175 vs.
\(2 (75) = 150\).
time = 0.26, size = 175, normalized size = 2.06 \begin {gather*} {\left (c {\left (\frac {2 \, \sqrt {x}}{c^{2}} - \frac {\log \left (c \sqrt {x} + 1\right )}{c^{3}} + \frac {\log \left (c \sqrt {x} - 1\right )}{c^{3}}\right )} + 2 \, x \operatorname {artanh}\left (c \sqrt {x}\right )\right )} a b + \frac {1}{4} \, {\left (4 \, c {\left (\frac {2 \, \sqrt {x}}{c^{2}} - \frac {\log \left (c \sqrt {x} + 1\right )}{c^{3}} + \frac {\log \left (c \sqrt {x} - 1\right )}{c^{3}}\right )} \operatorname {artanh}\left (c \sqrt {x}\right ) + 4 \, x \operatorname {artanh}\left (c \sqrt {x}\right )^{2} - \frac {2 \, {\left (\log \left (c \sqrt {x} - 1\right ) - 2\right )} \log \left (c \sqrt {x} + 1\right ) - \log \left (c \sqrt {x} + 1\right )^{2} - \log \left (c \sqrt {x} - 1\right )^{2} - 4 \, \log \left (c \sqrt {x} - 1\right )}{c^{2}}\right )} b^{2} + a^{2} x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 165 vs.
\(2 (75) = 150\).
time = 0.36, size = 165, normalized size = 1.94 \begin {gather*} \frac {4 \, a^{2} c^{2} x + 8 \, a b c \sqrt {x} + {\left (b^{2} c^{2} x - b^{2}\right )} \log \left (-\frac {c^{2} x + 2 \, c \sqrt {x} + 1}{c^{2} x - 1}\right )^{2} + 4 \, {\left (a b c^{2} - a b + b^{2}\right )} \log \left (c \sqrt {x} + 1\right ) - 4 \, {\left (a b c^{2} - a b - b^{2}\right )} \log \left (c \sqrt {x} - 1\right ) + 4 \, {\left (a b c^{2} x - a b c^{2} + b^{2} c \sqrt {x}\right )} \log \left (-\frac {c^{2} x + 2 \, c \sqrt {x} + 1}{c^{2} x - 1}\right )}{4 \, c^{2}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \left (a + b \operatorname {atanh}{\left (c \sqrt {x} \right )}\right )^{2}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 1.06, size = 94, normalized size = 1.11 \begin {gather*} a^2\,x+\frac {c\,\left (2\,b^2\,\sqrt {x}\,\mathrm {atanh}\left (c\,\sqrt {x}\right )+2\,a\,b\,\sqrt {x}\right )-b^2\,{\mathrm {atanh}\left (c\,\sqrt {x}\right )}^2+b^2\,\ln \left (c^2\,x-1\right )-2\,a\,b\,\mathrm {atanh}\left (c\,\sqrt {x}\right )}{c^2}+b^2\,x\,{\mathrm {atanh}\left (c\,\sqrt {x}\right )}^2+2\,a\,b\,x\,\mathrm {atanh}\left (c\,\sqrt {x}\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________